『計算機科学のための圏論の基礎の基礎』 - pogi-log

『計算機科学のための圏論の基礎の基礎』

Koga Akihiko. 計算機科学のための圏論の基礎の基礎. 2020-03-25

計算機科学のための圏論の基礎の基礎

圏論のメリット

数学的概念の(要求)仕様が書ける

圏の内部は基本的には見えない

型プログラミング的な感じ？

具体的な圏

前順序集合を圏としてみる見方(圏Poset)

多項式関手 P37-P39

代数と余代数 P40-P45

単純型付きラムダ計算 P50, P75-P95

単純型付きλ計算とCCCの関係

デカルト閉圏(CCC) P65-P68

ラムダ計算

型付きラムダ計算

スライドにある参考文献

『Category Theory』Steve Awodey

『Category Theory for Computing Science』

『Category Theory in Context』

『Basic Category Theory』

『A Tutorial on (Co)algebras and (Co)induction』

代数と余代数

関連

極限と余極限

#圏論 #集合論 #文献